\begin{tabbing}
$M_{1}$ $\subseteq$ $M_{2}$
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=($M_{1}$.1 $\subseteq$ $M_{2}$.1 \& ($M_{1}$.2).1 $\subseteq$ ($M_{2}$.2).1)\+
\\[0ex]c$\wedge$ \=(($M_{1}$.2.2).1 $\subseteq$ ($M_{2}$.2.2).1\+
\\[0ex]\& ($M_{1}$.2.2.2).1 $\subseteq$ ($M_{2}$.2.2.2).1
\\[0ex]\& ($M_{1}$.2.2.2.2).1 $\subseteq$ ($M_{2}$.2.2.2.2).1
\\[0ex]\& ($M_{1}$.2.2.2.2.2).1 $\subseteq$ ($M_{2}$.2.2.2.2.2).1
\\[0ex]\& ($M_{1}$.2.2.2.2.2.2).1 $\subseteq$ ($M_{2}$.2.2.2.2.2.2).1
\\[0ex]\& ($M_{1}$.2.2.2.2.2.2.2).1 $\subseteq$ ($M_{2}$.2.2.2.2.2.2.2).1
\\[0ex]\& ($M_{1}$.2.2.2.2.2.2.2.2).1 $\subseteq$ ($M_{2}$.2.2.2.2.2.2.2.2).1
\\[0ex]\& ($M_{1}$.2.2.2.2.2.2.2.2.2).1 $\subseteq$ ($M_{2}$.2.2.2.2.2.2.2.2.2).1
\\[0ex]\& ($M_{1}$.2.2.2.2.2.2.2.2.2.2).1 $\subseteq$ ($M_{2}$.2.2.2.2.2.2.2.2.2.2).1
\\[0ex]\& ($M_{1}$.2.2.2.2.2.2.2.2.2.2.2).1 $\subseteq$ ($M_{2}$.2.2.2.2.2.2.2.2.2.2.2).1)
\-\-
\end{tabbing}